Efficient timed reachability analysis using clock difference diagrams

Författare
(Gerd Behrmann...)
Språk
Engelska
Förlag År Ort Om boken ISBN
Institutionen för informationsteknologi, Univ. distributör 1999 Sverige, Uppsala 13 sidor.